Partial evaluation(部分求值/偏求值):一种程序优化与自动生成技术。在已知程序一部分输入(或运行环境)时,先把能提前计算的部分先算出来,生成一个对剩余输入更高效的“专用版”程序。常见于编译优化、程序特化、元编程与性能工程等领域。
/ˈpɑːrʃəl ɪˌvæljuˈeɪʃən/
Partial evaluation can speed up a program when some inputs are known in advance.
当部分输入已提前已知时,部分求值可以加速程序运行。
By partially evaluating the interpreter with respect to a fixed language semantics, we can obtain a specialized compiler-like program.
把解释器针对固定的语言语义进行部分求值后,我们可以得到一个类似“编译器”的专用程序。
Partial 源自拉丁语 partialis(“部分的”),evaluation 源自法语/拉丁语传统(与“评估、求值”相关)。在计算机科学语境中,evaluation 常特指“对表达式/程序进行求值(计算结果)”。合起来指“对程序进行部分(提前)求值”,这一术语在20世纪后期的程序变换与语义学研究中逐渐固定下来。